
@techreport{Anderson1972,
  title={Computer security technology planning study},
  author={Anderson, James P.},
  year={1972},
  institution={ESD-TR-73-51}
}   

@article{Orman2003,
  title={The Morris worm: {A} fifteen-year perspective},
  author={Orman, Hilarie},
  journal={IEEE Security \& Privacy},
  volume={1},
  number={5},
  pages={35--43},
  year={2003},
  publisher={IEEE}
}   

@online{Gaynor2020,
  author = {Alex Gaynor},
  title = {{What science can tell us about C and C++'s security}},
  month = may,
  year = 2020,
  url = {https://alexgaynor.net/2020/may/27/science-on-memory-unsafety-and-security/},
  urldate = {2023-08-08},
}   

@article{Smith2001,
  author = {Smith, Larry},
  title = {{Shift-Left Testing}},
  year = {2001},
  publisher = {CMP Media, Inc.},
  address = {USA},
  volume = {26},
  number = {9},
  issn = {1044-789X},
  journal = {Dr. Dobb's J.},
  month = {sep}
}   

@article{AingaranJKLLMPR2015,
  author       = {Kathirgamar Aingaran and
                  Sumti Jairath and
                  Georgios K. Konstadinidis and
                  Serena Leung and
                  Paul Loewenstein and
                  Curtis McAllister and
                  Stephen Phillips and
                  Zoran Radovic and
                  Ram Sivaramakrishnan and
                  David Smentek and
                  Thomas Wicki},
  title        = {{{M7:} Oracle's Next-Generation Sparc Processor}},
  journal      = {{IEEE} Micro},
  volume       = {35},
  number       = {2},
  pages        = {36--45},
  year         = {2015},
  ee           = {https://doi.org/10.1109/MM.2015.35},
  doi          = {10.1109/MM.2015.35}
}   

@article{Serebryany2019,
  author       = {Kostya Serebryany},
  title        = {{ARM} Memory Tagging Extension and How It Improves {C/C++} Memory
                  Safety},
  journal      = {login Usenix Mag.},
  volume       = {44},
  number       = {2},
  year         = {2019},
  url          = {https://www.usenix.org/publications/login/summer2019/serebryany}
}   

@inproceedings{NethercoteS2007,
  author       = {Nicholas Nethercote and
                  Julian Seward},
  title        = {Valgrind: a framework for heavyweight dynamic binary instrumentation},
  booktitle    = {PLDI},
  pages        = {89--100},
  publisher    = {{ACM}},
  year         = {2007},
  ee           = {https://doi.org/10.1145/1250734.1250746},
  doi          = {10.1145/1250734.1250746}
}   

@inproceedings{SerebryanyBPV2012,
  author       = {Konstantin Serebryany and
                  Derek Bruening and
                  Alexander Potapenko and
                  Dmitriy Vyukov},
  title        = {AddressSanitizer: {A} Fast Address Sanity Checker},
  booktitle    = {USENIX},
  pages        = {309--318},
  publisher    = {{USENIX} Association},
  year         = {2012},
  url          = {https://www.usenix.org/conference/atc12/technical-sessions/presentation/serebryany}
}   

@article{SerebryanySSTV2018,
  author       = {Kostya Serebryany and
                  Evgenii Stepanov and
                  Aleksey Shlyapnikov and
                  Vlad Tsyrklevich and
                  Dmitry Vyukov},
  title        = {Memory Tagging and how it improves {C/C++} memory safety},
  journal      = {CoRR},
  volume       = {abs/1802.09517},
  year         = {2018},
  ee           = {http://arxiv.org/abs/1802.09517},
  eprinttype    = {arXiv},
  eprint       = {1802.09517},
}   

@article{RenTMSRH2010,
  author       = {Gang Ren and
                  Eric Tune and
                  Tipp Moseley and
                  Yixin Shi and
                  Silvius Rus and
                  Robert Hundt},
  title        = {{Google-Wide Profiling: {A} Continuous Profiling Infrastructure for
                  Data Centers}},
  journal      = {{IEEE} Micro},
  volume       = {30},
  number       = {4},
  pages        = {65--79},
  year         = {2010},
  ee           = {https://doi.org/10.1109/MM.2010.68},
  doi          = {10.1109/MM.2010.68}
}   

@online{LinuxStaticKeys,
  author = {{The Linux Kernel Authors}},
  title = {{Static Keys}},
  year = 2023,
  url = {https://docs.kernel.org/staging/static-keys.html},
  urldate = {2023-08-08},
}   

@online{PKU,
  author = {{The Linux Kernel Authors}},
  title = {{Memory Protection Keys}},
  year = 2023,
  url = {https://www.kernel.org/doc/html/latest/core-api/protection-keys.html},
  urldate = {2023-08-08},
}   

@article{SLUB,
  author    = {Jonathan Corbet},
  title     = {{The SLUB allocator}},
  journal   = {Linux Weekly News (LWN)},
  year      = {2007},
  url       = {https://lwn.net/Articles/229984/},
}   

@online{LightweightUafDetector,
  author = {Kentaro Hara and Sergei Glazunov},
  title = {{Lightweight UaF Detector}},
  month = dec,
  year = 2022,
  url = {https://docs.google.com/document/d/1xfGa_IMtFZiQ3beOmkncEafODwn4U90ZyL4NfPaAtDY/edit?resourcekey=0-89BZl1SVILB6ylOHula0IA},
  urldate = {2023-08-08},
}   

@online{EFence,
  author = {Bruce Perens},
  title = {{efence: Electric Fence Malloc Debugger}},
  year = 2003,
  url = {https://web.archive.org/web/20100829220331/http://perens.com/FreeSoftware/ElectricFence/},
  urldate = {2023-08-08},
}   

@online{TCMalloc,
  author = {The TCMalloc Authors},
  title = {{TCMalloc: Thread-Caching Malloc}},
  year = 2023,
  url = {https://github.com/google/tcmalloc},
  urldate = {2023-08-08},
}   

@online{PageHeap,
  author = {Microsoft Corporation},
  title = {{GFlags and PageHeap}},
  year = 2022,
  url = {https://learn.microsoft.com/en-us/windows-hardware/drivers/debugger/gflags-and-pageheap},
  urldate = {2023-08-08},
}   

@online{MiraclePtr,
  author = {Adrian Taylor and Bartek Nowierski and Kentaro Hara},
  title = {{Use-after-freedom: MiraclePtr}},
  year = 2022,
  url = {https://security.googleblog.com/2022/09/use-after-freedom-miracleptr.html},
  urldate = {2023-08-08},
}   

@inproceedings{LattnerA2004,
  author       = {Chris Lattner and
                  Vikram S. Adve},
  title        = {{LLVM:} {A} Compilation Framework for Lifelong Program Analysis {\&}
                  Transformation},
  booktitle    = {CGO},
  pages        = {75--88},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  ee           = {https://doi.org/10.1109/CGO.2004.1281665},
  doi          = {10.1109/CGO.2004.1281665},
}   

@online{compiler-rt,
  author = {The LLVM Authors},
  title = {{compiler-rt runtime libraries}},
  year = 2023,
  url = {https://compiler-rt.llvm.org/},
  urldate = {2023-08-08},
}   

@online{GWPASan2019,
  author = {{Matt Morehouse, Vlad Tsyrklevich, Mitch Phillips, Kostya Serebryany}},
  title = {{GWP-ASan: Zero-Cost Detection of Memory Safety Bugs in Production}},
  year = 2019,
  month = oct,
  url = {https://llvm.org/devmtg/2019-10/slides/Morehouse-GWP-ASan.pdf},
  urldate = {2023-08-08},
}   

@online{PGM,
  author = {{Filip Pizlo}},
  title = {{All About Libpas, Phil's Super Fast Malloc}},
  year = 2022,
  month = feb,
  url = {https://github.com/WebKit/WebKit/blob/main/Source/bmalloc/libpas/Documentation.md},
  urldate = {2023-08-08},
}   

@online{GWPTsan,
  author = {{Matt Morehouse and Kostya Serebryany}},
  title = {{GWP-TSan: Zero-Cost Detection of Data Races in Production}},
  year = 2020,
  month = oct,
  url = {https://llvm.org/devmtg/2020-09/slides/Morehouse-GWP-Tsan.pdf},
  urldate = {2023-08-08},
}   

@inproceedings{Randell2003,
  author       = {Brian Randell},
  title        = {{On Failures and Faults}},
  booktitle    = {{FME} 2003: Formal Methods, International Symposium of Formal Methods
                  Europe, Pisa, Italy, September 8-14, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2805},
  publisher    = {Springer},
  year         = {2003},
  ee           = {https://doi.org/10.1007/978-3-540-45236-2\_3},
  doi          = {10.1007/978-3-540-45236-2\_3}
}   

@inproceedings{SzekeresPWS2013,
  author       = {Laszlo Szekeres and
                  Mathias Payer and
                  Tao Wei and
                  Dawn Song},
  title        = {{SoK: Eternal War in Memory}},
  booktitle    = {2013 {IEEE} Symposium on Security and Privacy, {SP} 2013, Berkeley,
                  CA, USA, May 19-22, 2013},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  ee           = {https://doi.org/10.1109/SP.2013.13},
  doi          = {10.1109/SP.2013.13}
}   

@book{CAR,
  author       = {John L. Hennessy and
                  David A. Patterson},
  title        = {Computer Architecture - {A} Quantitative Approach, 5th Edition},
  publisher    = {Morgan Kaufmann},
  year         = {2012},
  isbn         = {978-0-12-383872-8}
}   

@inproceedings{LiblitAZJ2003,
  author       = {Ben Liblit and
                  Alexander Aiken and
                  Alice X. Zheng and
                  Michael I. Jordan},
  title        = {Bug isolation via remote program sampling},
  booktitle    = {PLDI},
  publisher    = {{ACM}},
  year         = {2003},
  ee           = {https://doi.org/10.1145/781131.781148},
  doi          = {10.1145/781131.781148}
}   

@inproceedings{NeculaMW2002,
  author       = {George C. Necula and
                  Scott McPeak and
                  Westley Weimer},
  title        = {CCured: type-safe retrofitting of legacy code},
  booktitle    = {POPL},
  publisher    = {{ACM}},
  year         = {2002},
  ee           = {https://doi.org/10.1145/503272.503286},
  doi          = {10.1145/503272.503286}
}   

@inproceedings{NainarCRL2007,
  author       = {Piramanayagam Arumuga Nainar and
                  Ting Chen and
                  Jake Rosin and
                  Ben Liblit},
  title        = {Statistical debugging using compound boolean predicates},
  booktitle    = {{ISSTA}},
  publisher    = {{ACM}},
  year         = {2007},
  ee           = {https://doi.org/10.1145/1273463.1273467},
  doi          = {10.1145/1273463.1273467},
}   

@inproceedings{HauswirthC2004,
  author       = {Matthias Hauswirth and
                  Trishul M. Chilimbi},
  title        = {Low-overhead memory leak detection using adaptive statistical profiling},
  booktitle    = {{ASPLOS}},
  publisher    = {{ACM}},
  year         = {2004},
  ee           = {https://doi.org/10.1145/1024393.1024412},
  doi          = {10.1145/1024393.1024412}
}   

@online{DMalloc,
  author = {{Gray Watson}},
  title = {{Debug Malloc Library}},
  year = 2020,
  url = {https://dmalloc.com/docs/dmalloc.pdf},
  urldate = {2024-01-08},
}   

